TopPanel {
  height: 60px;
}

TopPanel table {
  font-size: 80%;
}

TopPanel .gwt-Image {
  margin-left: 10px;
  position: absolute;
}

TopPanelLinks {
  font-size: 80%;
}
